Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
801	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
802	2 USEFUL LINEAR ALGEBRA (REPRISE) Introduction to MATLAB Reading • Spencer and Ware (2008), secs. 1-7, 9-9.3, . • For reference: Matlab online help desk Add to Reading List Source URL: geodynamics.usc.edu Language: English - Date: 2013-08-04 13:37:01 Array programming languages Numerical linear algebra MATLAB Functional languages GNU Octave Array programming Array data type R Differential equation Software Computing Mathematical software
803	Lisp in Summer Projects Submission Submission Date:47:17 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Lisp programming language Functional languages Cross-platform software Common Lisp Scripting languages Lisp JavaScript Subroutine Parameter Software engineering Computer programming Computing
804	Functional-first Programming in an Information-Rich World Dr Kenji Takeda Microsoft Research Connections Functional-first Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-27 06:45:31 Cross-platform software Functional languages Programming paradigms Functional programming C Mathematica Subroutine Computing Computer programming Software engineering
805	Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional Programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 09:06:02 Mathematical logic Intuitionism Epistemology Philosophy of mathematics Logic in computer science Constructivism Constructive proof Constructive analysis Intuitionistic logic Mathematics Mathematical constructivism Logic
806	On Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Functional programming Lisp programming language Higher-order functions Data types Recursion Append Fold List Map Software engineering Computing Computer programming
807	PDF Document Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-02-21 06:52:37 Computing ALGOL 68 Functional languages Numerical linear algebra Biconjugate gradient stabilized method ATS Programming language theory Software engineering Procedural programming languages
808	LazyJ: Seamless Lazy Evaluation in Java Alessandro Warth Computer Science Department University of California, Los Angeles Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Evaluation strategy Type theory Functional languages Procedural programming languages Programming paradigms Lazy evaluation Futures and promises Strict programming language ML Software engineering Computing Computer programming
809	Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 02:47:30 Higher-order functions Functional programming Adjoint functors Fold Recursion Programming paradigms Map Monad Unification Software engineering Declarative programming Computing
810	Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance Heather Miller EPFL, Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Functional languages Java platform Scala Martin Odersky ML Software framework Domain-specific language Functional programming Static single assignment form Computing Software engineering Computer programming

UPDATE